Mots clés: Topologie logique